langevin equation for a nano-particle suspended in a laminar fluid flow was analytically studied. the brownian motion generated from molecular bombardment was taken as a wiener stochastic process and approximated by a gaussian white noise. euler-maruyama method was used to solve the langevin equation numerically. the accuracy of brownian simulation was checked by performing a series of simulati...

We present the attributed π-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The λ-calculus serves as a constraint language underlying the π-calculus. Interaction constraints subsume priorities, by which to express global aspects of populations. We present a nondeterministic and a stochastic semantics for the attributed π-...